1. Formal methods
پدیدآورنده : \ Márcio Cornélio , Bill Roscoe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روشهای صوری (کامپیوتر) -- کنگره ها ,روشهای صوری (کامپیوتر)
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)